My Long Life. An Autobiographic Sketch

Long-Life Concrete: How Long Will My Concrete Last?

The mission of the National Concrete Pavement Technology Center is to unite key transportation stakeholders around the central goal of advancing concrete pavement technology through research, tech transfer, and technology implementation. The contents of this document reflect the views of the authors, who are responsible for the facts and the accuracy of the information presented herein. The opi...

My Life

My Life with an Automatic Theorem Prover

Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. In the seven years since its first release in 2007, it has grown to become an essential part of most Isabelle users’ workflow. Although a lot of effort has gone into tuning the system, the main reason for Sledgehammer’s success is the impressive power of the external provers, especially E, SPASS, ...

My Life Philosophy

My life with NF1.